Design of Concept Libraries for C++

نویسندگان

  • Andrew Sutton
  • Bjarne Stroustrup
چکیده

We present a set of concepts (requirements on template arguments) for a large subset of the ISO C++ standard library. The goal of our work is twofold: to identify a minimal and useful set of concepts required to constrain the library’s generic algorithms and data structures and to gain insights into how best to support such concepts within C++. We start with the design of concepts rather than the design of supporting language features; the language design must be made to fit the concepts, rather than the other way around. A direct result of the experiment is the realization that to simply and elegantly support generic programming we need two kinds of abstractions: constraints are predicates on static properties of a type, and concepts are abstract specifications of an algorithm’s syntactic and semantic requirements. Constraints are necessary building blocks of concepts. Semantic properties are represented as axioms. We summarize our approach: concepts = constraints+ axioms. This insight is leveraged to develop a library containing only 14 concepts that encompassing the functional, iterator, and algorithm components of the C++ Standard Library (the STL). The concepts are implemented as constraint classes and evaluated using Clang’s and GCC’s Standard Library test suites.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conceptualization of the Libraries’ Brand Based on a Systematic Literature Review

Purpose: Today, challenges and opportunities have emerged for libraries as a result of the changes in the world of information and extensive access to the Internet and Web 2, durability of the stereotypical and old image of libraries, coinciding with the change of their roles, and changes in technology and the publishing industry. Therefore, branding for libraries is crucial to their sustainabi...

متن کامل

A report on “the first Concept Map Design Contest on Infection Prevention and Control”

Background Concept maps are considered not only as a powerful method of meaningful learning, but also as an instrument for evaluating the efficiency of learning. Different inquiries suggest that concept maps by promoting critical thinking and clinical reasoning may play a significant role in increasing adherence to infection prevention methods and therefore reduce healthcare-associated infectio...

متن کامل

شاخص های طراحی و ارزیابی کتابخانه های دیجیتالی

Introduction: There was always suspicion regarding concept and frameworks of digital libraries concepts such as electronic library, virtual library, without wall library, hybrid library and digital library have applied often together, or for each other for conveying library concept. Studies have shown that so far there is no standard and universal accepted definition for digital libraries, howe...

متن کامل

Context-aware systems: concept, functions and applications in digital libraries

Background and Aim Among the places that context-aware systems and services would be very useful, are libraries. The purpose of this study is to achieve a coherent definition of context aware systems and applications, especially in digital libraries. Method: This was a review article that was conducted by using Library method by searching articles and e-books on websites and databases. Results:...

متن کامل

طراحی مدل مدیریت تغییر در کتابخانه‌های دانشگاهی ایران: مطالعه دلفی

Purpose: This study seeks to design change management model for Iranian academic libraries. Methodology: Qualitative approach and Delphi method were employed to design change management model for Iranian academic libraries. Delphi technique was used in three rounds and initially 22 experts participated in the test. The change management model yielded for Iranian academic libraries consisted of...

متن کامل

Studying the Viewpoints of Librarians and Users about the Challenges and Strategies for User Participation in Library Activities and Services: A Case Study of Public Libraries in Bandar Abbas

Purpose: The purpose of this research is to identify the viewpoints of Bandar Abbas public libraries librarians and users about the challenges and strategies of users’ participation in public library activities and services. Method: The methodology used in this research is qualitative. The potential partners of this study include 20 librarians in five Bandar Abbas public libraries and users of...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011